Extensible Eff Applicative